Ada and Babbage

S. Babbage 7,

This documents states the research agenda for the future of cryptology. We show which areas deserve more research bridging the gap between applications and research. For more detailed problems see the STORK document “D6 – Open Problems in Cryptology”.

Additions to the Babbage bibliography.

When the mathematician Charles Babbage (1791–1871) published Passages from the life of a philosopher in 1864, he included a chronological list of 80 numbered ‘Papers which he has from time to time printed . . .’. The authors propose two, as yet unattributed, important additions to the Babbage bibliography. These papers, ‘Observations on the present State of the Mathematical Sciences in Great Br...

FG Ada: Bericht der Fachgruppe Ada 2012

Intention der Fachgruppe: Software garantiert häufig direkt die Sicherheit für Menschen. Ada wird in internationalen Sicherheitsstandards empfohlen und unterstützt in einzigartiger Weise moderne Analyse, Design und Programmiermethoden und damit die Entwicklung großer zuverlässiger Software-Systeme. Die Fachgruppe will über die Konzepte von Ada und deren Bedeutung für die Softwaretechnologie inf...

Distributed and parallel Ada and the Ada 9X recommendations

Interfacing Ada and SQL

The Software Engineering Institute was asked by the Ada Joint Program Office to investigate the problem of interfacing programs written in Ada with Database Management Systems (DBMS) implementing the Structured Query Language (SQL) database language. The authors decided to concentrate on a description of the problems involved in producing an interface which would be worthy of becoming a standar...